home *** CD-ROM | disk | FTP | other *** search
Text File | 1996-06-13 | 826 b | 42 lines | [TEXT/EDIT] |
- -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C)
- -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
- --
- class TEST_OBJECT_SIZE
-
- creation make
-
- feature
-
- make is
- local
- i: INTEGER;
- b: BOOLEAN;
- c: CHARACTER;
- r: REAL;
- d: DOUBLE;
- do
- is_true(c.object_size >= 1);
- is_true(i.object_size >= 1);
- is_true(r.object_size >= 1);
-
- is_true(c.object_size <= b.object_size);
- is_true(i.object_size = b.object_size);
- is_true(r.object_size <= d.object_size);
- end;
-
- is_true(b: BOOLEAN) is
- do
- cpt := cpt + 1;
- if not b then
- std_output.put_string("TEST_INTEGER1: ERROR Test # ");
- std_output.put_integer(cpt);
- std_output.put_string("%N");
- else
- -- std_output.put_string("Yes%N");
- end;
- end;
-
- cpt: INTEGER;
-
- end -- TEST_INTEGER1
-